Paul Levy - PDFSEARCH.IO - Document Search Engine

Paul Levy
Results: 68

#	Item
11	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
12	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
13	Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-05 09:36:57 Algebra Abstract algebra Monad Coproduct Universal property Limit Monoidal categories Adjoint functors Category theory Functional programming
14	Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2007-05-03 10:47:11
15	MFPS XX1 Preliminary Version Infinite Trace Equivalence Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:16
16	Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-11-12 07:32:52
17	Amb breaks well-pointedness, ground amb doesn’t Paul Blain Levy School of Computer Science, University of Birmingham, UK Amb breaks well-pointedness, ground amb doesn’t – p. 1/21 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:20
18	Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:18
19	New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy University of Washington Paul Gardner Add to Reading List Source URL: vanish.cs.washington.edu Language: English - Date: 2011-08-24 18:20:29
20	MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:11

UPDATE